universal affirmative
noun
,
Logic.
1.
a proposition of the form “All S is P.”
Symbol:
A, a.